11![Parameterized Complexity Results for a Model of Theory of Mind based on Dynamic Epistemic Logic∗ Iris van de Pol † Parameterized Complexity Results for a Model of Theory of Mind based on Dynamic Epistemic Logic∗ Iris van de Pol †](https://www.pdfsearch.io/img/ac35bf16915bc00b066af16ec5096e64.jpg) | Add to Reading ListSource URL: jakubszymanik.comLanguage: English - Date: 2015-07-26 13:20:01
|
---|
12![Learning by Erasing in Dynamic Epistemic Logic Nina Gierasimczuk? Institute for Logic, Language, and Computation, University of Amsterdam Institute of Philosophy, University of Warsaw Learning by Erasing in Dynamic Epistemic Logic Nina Gierasimczuk? Institute for Logic, Language, and Computation, University of Amsterdam Institute of Philosophy, University of Warsaw](https://www.pdfsearch.io/img/2a3136500035ee500c8ac9f2102763cd.jpg) | Add to Reading ListSource URL: www.ninagierasimczuk.comLanguage: English - Date: 2012-04-16 16:00:45
|
---|
13![Conditional Epistemic Planning Mikkel Birkegaard Andersen, Thomas Bolander, and Martin Holm Jensen Technical University of Denmark Abstract. Recent work has shown that Dynamic Epistemic Logic (DEL) offers a solid foundat Conditional Epistemic Planning Mikkel Birkegaard Andersen, Thomas Bolander, and Martin Holm Jensen Technical University of Denmark Abstract. Recent work has shown that Dynamic Epistemic Logic (DEL) offers a solid foundat](https://www.pdfsearch.io/img/3438275b78350325dafbeefff0625df1.jpg) | Add to Reading ListSource URL: www.imm.dtu.dkLanguage: English - Date: 2012-07-25 09:46:24
|
---|
14![Hans van Ditmarsch EPS – Project numberfor public dissemination Hans van Ditmarsch EPS – Project numberfor public dissemination](https://www.pdfsearch.io/img/583c1cc822cafa1a5ab8bc2239b22cc2.jpg) | Add to Reading ListSource URL: personal.us.esLanguage: English - Date: 2013-08-13 03:09:02
|
---|
15![Epistemic modal logic / Normal modal logic / Deontic logic / Common knowledge / Temporal logic / Dynamic logic / Kripke semantics / Multimodal logic / Logic / Mathematical logic / Modal logic Epistemic modal logic / Normal modal logic / Deontic logic / Common knowledge / Temporal logic / Dynamic logic / Kripke semantics / Multimodal logic / Logic / Mathematical logic / Modal logic](/pdf-icon.png) | Add to Reading ListSource URL: www.staff.science.uu.nlLanguage: English - Date: 2009-01-28 11:49:26
|
---|
16![Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic Malvin Gattinger1 and Jan van Eijck2 1 2 Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic Malvin Gattinger1 and Jan van Eijck2 1 2](https://www.pdfsearch.io/img/c1d22f18675c4612e664933ad7fe71be.jpg) | Add to Reading ListSource URL: homepages.cwi.nlLanguage: English - Date: 2015-03-25 11:31:05
|
---|
17![Dynamic Logic for Security (DYLOS) Abstract The research proposed in this document focuses on the application of dynamic logic in the analysis and design of security protocols. We adopt the intentional approach of multi Dynamic Logic for Security (DYLOS) Abstract The research proposed in this document focuses on the application of dynamic logic in the analysis and design of security protocols. We adopt the intentional approach of multi](https://www.pdfsearch.io/img/eacf8bd107fdde818e406afff28a90bd.jpg) | Add to Reading ListSource URL: www.cs.rug.nlLanguage: English - Date: 2009-02-27 08:29:43
|
---|
18![EuJAP | VOL. 7 | No. 2 | 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]ACTS OF REQUESTING IN DYNAMIC LOGIC OF EuJAP | VOL. 7 | No. 2 | 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]ACTS OF REQUESTING IN DYNAMIC LOGIC OF](https://www.pdfsearch.io/img/3f932ea314db6d4822ebded53480decb.jpg) | Add to Reading ListSource URL: www.ffri.hrLanguage: English - Date: 2014-07-09 05:48:26
|
---|
19![Dynamic Epistemic Logic Hans van Ditmarsch, LORIA, CNRS – Universit´e de Lorraine Wiebe van der Hoek, Computer Science, The University of Liverpool Barteld Kooi, Faculty of Philosophy, University of Groningen 1 Dynamic Epistemic Logic Hans van Ditmarsch, LORIA, CNRS – Universit´e de Lorraine Wiebe van der Hoek, Computer Science, The University of Liverpool Barteld Kooi, Faculty of Philosophy, University of Groningen 1](https://www.pdfsearch.io/img/016c7252b4a80ae861dff15360e2b74a.jpg) | Add to Reading ListSource URL: www.iep.utm.eduLanguage: English - Date: 2013-09-29 12:02:23
|
---|
20![Semantics for Dynamic Syntactic Epistemic Logics ˚ Thomas Agotnes Natasha Alechina Semantics for Dynamic Syntactic Epistemic Logics ˚ Thomas Agotnes Natasha Alechina](https://www.pdfsearch.io/img/a5fafec8f2322d74fafa67acc106b9b3.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2009-09-20 12:33:36
|
---|